A topos of behavior types

Home Up Previous Random

The interval domain(0)

Sheaves on IR(0)

Safety proofs in temporal logic(0)